منابع مشابه
Trailer-truck trajectory optimization for Airbus A380 component transportation
Airbus, the European aircraft manufacturer has started a program for developing the biggest aircraft ever built: the Airbus A380 which will be able to carry 550 passengers on two decks in the three classes version (Figure 1). The six components of the airplane (two wings, rear, central and front fuselages, and horizontal tail plane) are to be produced in different European cities (Figure 2). Th...
متن کاملLarge Muon Tracking Detector in the KASCADE EAS Experiment
Accurate measurements of the muon component in EAS are particularily important for determination of the primary CR spectrum and composition. Multiparameter analysis possibilities in KASCADE have been recently enhanced by starting the operation of a large area streamer tube muon tracking detector. With its acceptance of about 500 m·sr it identifies EAS muons with energy exceeding 0.8 GeV. The re...
متن کاملOn the Dynamics of EAs without Selection
This paper investigates the dynamics of evolutionary algorithms (EAs) without tness based selection (constant tness). Such algorithms exhibit a behavior similar to the MISR eeect (mutation-induced speciation by recombination) which has been found in the analysis of (== D ;) evolution strategies. It will be shown that this behavior can be observed in a variety of EAs, not only in unrestricted se...
متن کاملAn Experiment with the Lotos Formal Description Technique on the Flight Warning Computer of Airbus 330/340 Aircrafts
This paper presents the main results of a two-year study concerning the introduction of formal methods in the life cycle of avionics software. This study was done in the framework of the EUREKA European project AIMS (Aerospace Intelligent Management and development environment for embedded Systems). The ISO language Lotos was used to describe a signiicant subset of the Flight Warning Computer o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nuclear Physics B - Proceedings Supplements
سال: 2006
ISSN: 0920-5632
DOI: 10.1016/j.nuclphysbps.2005.07.074